Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis
نویسندگان
چکیده
Tools for worst-case execution time (WCET) analysis request several code annotations from the user. However, most of them could be avoided or being annotated more comfortably if the compilers would support WCET analysis. This paper provides a clear categorization of code annotations for WCET analysis and discusses the positive impact on code annotations a compiler-support on WCET analysis would have.
منابع مشابه
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation
Bounding the Worst Case Execution Time (WCET) of programs is essential for real-time systems. To be able to do WCET calculations, the iteration bounds for loops and recursion must be known. We describe a newly developed prototype tool that calculates these bounds automatically, thereby avoiding the need for manual annotations by the programmer. The analysis is based on an intermediate code repr...
متن کاملTransformation of Path Information for WCET Analysis during Compilation
Performing worst case execution time WCET analysis on machine code with program path annota tion provided at high level source code level requires the transformation of path annotations from the source code level to assembly object code level This path information transformation can be done outside or in tegrated into the compiler during code compilation The rst approach is easier to implement ...
متن کاملThe platin Tool Kit - The T-CREST Approach for Compiler and WCET Integration
The construction of safety-critical real-time applications requires predictable computer platforms that enable a safe and tight static analysis of those systems. The worst-case performance and the availability of tight bounds on the worst-case execution time (WCET) of the tasks of the applications are of central importance in such systems. The compiler tool-chain plays an integral part in a rea...
متن کاملExtraction and traceability of annotations for WCET estimation. (Extraction et traçabilité d'annotations pour l'estimation de WCET)
Real-time systems have become ubiquitous, and play an important role in our everydaylife. For hard real-time systems, computing correct results is not the only requirement.In addition, the worst-case execution times (WCET) are needed, and guarantee thatthey meet the required timing constraints. For tight WCET estimation, annotationsare required. Annotations are usually added at ...
متن کاملCompiler Support for WCET Analysis: a Wish List
Static timing analysis of a computer program needs both high-level information from the source code of the program, and low-level information from the compiled object code. Compilers and linkers could support such analysis by providing more and better information about the structure and behaviour of the source and object code and about the relationship between source and object code. Moreover, ...
متن کامل